// KonstantTarget.java
// Jeremy Singer
// 8 Sep 11

/*
 * Constant target - parameter to PID controller
 * - target GC overhead value (g* in paper)
 * > Just to clarify - the integer input will be divided by ten thousand to get the desired target value, g*.
 */

package org.mmtk.utility.options;

public final class KonstantTarget extends org.vmutil.options.IntOption {

  /**
   * Create the option.
   * (default to 10% GC overhead)
   */
  public KonstantTarget() {
    super(Options.set, "KonstantTarget",
          "PID Target Value (GC Overhead)",
          1000);
  }

  /**
   * Accept GC overhead values between 0% and 100%
   */
  protected void validate() {
    failIf((this.value <= 0 || this.value >= 10000), "Must be between 0 and 1");
  }
}
